	<div id="bottom">
	<p align=right>
	<font size=-2><i>
	  <hr>
	  $title -- $projectname -- Peter Gottschling and Andrew Lumsdaine
	  -- Gen. with
